/* * Default CSS definitions */ @import("default.css"); body {background: #ccc3f3 url("img/jds4_bg_2022.png") no-repeat center fixed; background-size: cover; margin: 2px; padding: 6px;} div.topmenu ul li { background: #afeeeecc; border: #35e 2px groove; margin: 0; } div.topmenu ul li:hover {background: #adf;}